退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:动态拓扑逻辑的非确定性语义
Fernández-Duque, David;
机译:具有一致性运算符的逻辑的非确定性语义
机译:关于直觉的模态和时态逻辑及其经典伴随逻辑:拓扑语义和双仿真
机译:保守和解释性逻辑的拓扑语义
机译:具有拓扑语义的动态认知逻辑
机译:逻辑编程语义的拓扑特征。
机译:量子态的非确定性语义
机译:语义管理方法,用于在应用程序执行过程中记录或重播不确定性操作
机译:在应用过程中进行状态化管理,报告或拒绝确定性操作的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。